Programming language implementation

Results: 1978



#Item
381Models of computation / Logic in computer science / Programming language semantics / Compiler construction / Programming language implementation / Data-flow analysis / Denotational semantics / Assembly language / Control flow graph / Theoretical computer science / Computing / Software engineering

Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2005-11-14 17:37:09
382VMware / Programming language implementation / Virtual machine / Hyper-V / IOPS / OpenVMS / Scheduling / Scalability / Computing / System software / Software

Demand Based Hierarchical QoS Using Storage Resource Pools Ajay Gulati, Ganesha Shanmuganathan VMware Inc {agulati, sganesh}@vmware.com Abstract

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2015-05-28 22:53:56
383Data types / C programming language / C++ / Pointer / C / ANSI/ISO C Specification Language / Pascal / Logic programming / Predicate / Software engineering / Computing / Computer programming

ACSL Version 1.5 Implementation in Carbon+dev ACSL: ANSI/ISO C Specification Language Version 1.5 – Carbon+dev

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:01
384Programming language implementation / Macro / Machine code / Stack machine / Instruction set / ARM architecture / Tail call / Bytecode / Programming language / Computing / Software engineering / Computer programming

Automatic Generation of Compact Programs and Virtual Machines for Scheme Mario Latendresse Department of Computer Science Rice University

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:10
385Compiler optimizations / Programming language implementation / Embedded systems / TinyOS / Microcontroller / Data-flow analysis / Program analysis / Compiler / Constant folding / Computing / Software engineering / Programming language theory

DATA-FLOW ANALYSIS FOR INTERRUPT-DRIVEN MICROCONTROLLER SOFTWARE by Nathan Cooprider

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2008-11-07 14:48:31
386Procedural programming languages / Compiler construction / Programming language implementation / Source code / Cross-platform software / Metacompiler / Compiler / Programming language / ALGOL / Software engineering / Computing / Computer programming

LINGO, A Dynamic Syntax Directed Compiler by Edward A. Burfine Computer Science 239, Stanford University Abstract

Add to Reading List

Source URL: www.slac.stanford.edu

Language: English - Date: 2011-07-15 16:16:42
387Compiler construction / Programming language implementation / Cross-platform software / Virtual machines / Computing platforms / LLVM / Just-in-time compilation / Java / Bytecode / Computing / Software / System software

Introduction to Virtual Machines with VMKit Harris Bakiras, Supervisors : Gaël Thomas, Gilles Müller LIP6 REGAL TEAM – INRIA (Paris/France)

Add to Reading List

Source URL: vmkit.llvm.org

Language: English - Date: 2013-05-07 10:09:00
388Parks and Recreation / Recreation / Interpreter / Computer program / Television / Film / Programming language implementation / Language interpretation

Dear Parent, Faribault Parks & Recreation (FPR) provides ASL interpreter services for its program participants. To ensure you receive the services you need, follow this process for requesting interpreter.

Add to Reading List

Source URL: www.ci.faribault.mn.us

Language: English - Date: 2015-04-20 09:32:23
389Cross-platform software / Compiler construction / Programming language implementation / Source code / Procedural programming languages / Lexical analysis / C / Literal / String literal / Software engineering / Computing / Computer programming

An Analyzer for Java W. M. Waite W. E. Munsil September 11, 2008 2

Add to Reading List

Source URL: eli-project.sourceforge.net

Language: English - Date: 2008-09-11 16:15:49
390Computer architecture / Memory management / Data types / Programming language implementation / Garbage collection / PIC microcontroller / Pointer / 16-bit / C / Computing / Software engineering / Microcontrollers

PICBIT: A Scheme System for the PIC Microcontroller Marc Feeley / Universit´e de Montr´eal Danny Dub´e / Universit´e Laval ABSTRACT

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:30
UPDATE